Buy Used and New A . Petit Books

Systems and Software Verification: Model-Checking Techniques and Tools

by B. Berard,M. Bidoit,A. Finkel,F. Laroussinie,A. Petit,L. Petrucci,P. Schnoebelen

ISBN 13: 9783540415237

Format: Hardcover (196 pages)
Publisher: Springer
Published: 20 Jun 2001

Save for later

Lachsalven.de... Das Buch: [Schweinische Qualitätswitze, mit und ohne Niveau]

by a. Petit

ISBN 13: 9783837024340

Format: Paperback (106 pages)
Publisher: Unknown
Published: 21 Apr 2008

Save for later

Systems and Software Verification: Model-Checking Techniques and Tools

by B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, P. Schnoebelen

ISBN 13: 9783642074783

Format: Paperback (196 pages)
Publisher: Springer
Published: 15 Dec 2010

Save for later